Rosolini, Giuseppe: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

[Lecture Notes in Computer Science] Category Theory and Computer Science Volume 1290 || Allegories as a basis for algorithmics

Moggi, Eugenio, Rosolini, Giuseppe

Year:

1997

Language:

english

File:

PDF, 883 KB

english, 1997

2

Two models of synthetic domain theory

Marcelo P. Fiore, Giuseppe Rosolini

Journal:

Journal of Pure and Applied Algebra

Year:

1997

Language:

english

File:

PDF, 688 KB

english, 1997

3

Studying Repleteness in the Category of Cpos

Michael Makkai, Giuseppe Rosolini

Journal:

Electronic Notes in Theoretical Computer Science

Year:

1997

Language:

english

File:

PDF, 368 KB

english, 1997

4

Synthetic domain theory and models of linear Abadi & Plotkin logic

Rasmus Ejlers Møgelberg, Lars Birkedal, Giuseppe Rosolini

Journal:

Annals of Pure and Applied Logic

Year:

2008

Language:

english

File:

PDF, 604 KB

english, 2008

5

[Lecture Notes in Computer Science] Category Theory and Computer Science Volume 1290 || Monads and modular term rewriting

Moggi, Eugenio, Rosolini, Giuseppe

Year:

1997

Language:

english

File:

PDF, 1.30 MB

english, 1997

6

[Lecture Notes in Computer Science] Category Theory and Computer Science Volume 1290 || Lifting

Moggi, Eugenio, Rosolini, Giuseppe

Year:

1997

Language:

english

File:

PDF, 692 KB

english, 1997

7

Cantor e gli insiemi

Rosolini, Giuseppe

Journal:

Lettera Matematica Pristem

Year:

2018

Language:

italian

File:

PDF, 1013 KB

italian, 2018

8

Synthetic Domain Theory and Models of Linear Abadi & Plotkin Logic

Rasmus Ejlers Møgelberg, Lars Birkedal, Giuseppe Rosolini

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 476 KB

english, 2006

9

Preface

Lars Birkedal, Martín Escardó, Achim Jung, Giuseppe Rosolini

Journal:

Theoretical Computer Science

Year:

2004

Language:

english

File:

PDF, 128 KB

english, 2004

10

Domains in H

Marcelo P. Fiore, Giuseppe Rosolini

Journal:

Theoretical Computer Science

Year:

2001

Language:

english

File:

PDF, 217 KB

english, 2001

11

Fixpoint operators for domain equations

John Power, Giuseppe Rosolini

Journal:

Theoretical Computer Science

Year:

2002

Language:

english

File:

PDF, 109 KB

english, 2002

12

The Category of Cpos From a Synthetic Viewpoint

Marcelo Fiore, Giuseppe Rosolini

Journal:

Electronic Notes in Theoretical Computer Science

Year:

1997

Language:

english

File:

PDF, 1.07 MB

english, 1997

13

Preface: Volume 29

Martin Hofmann, Giuseppe Rosolini, Dusko Pavlovic

Journal:

Electronic Notes in Theoretical Computer Science

Year:

1999

Language:

english

File:

PDF, 31 KB

english, 1999

14

Preface: Volume 23, Issue 1

Birkedal Lars, Oosten Jaap van, Rosolini Giuseppe, Dana S. Scott

Journal:

Electronic Notes in Theoretical Computer Science

Year:

1999

Language:

english

File:

PDF, 42 KB

english, 1999

15

A Category Theoretic Formulation for Engeler-style Models of the Untyped λ-Calculus

Martin Hyland, Misao Nagayama, John Power, Giuseppe Rosolini

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 333 KB

english, 2006

16

Repleteness and the associated sheaf

Anna Bucalo, Giuseppe Rosolini

Journal:

Journal of Pure and Applied Algebra

Year:

1998

Language:

english

File:

PDF, 256 KB

english, 1998

17

Editorial

Jiří Adámek, George Janelidze, Robert Rosebrugh, Giuseppe Rosolini

Journal:

Journal of Pure and Applied Algebra

Year:

2012

Language:

english

File:

PDF, 127 KB

english, 2012

18

[Lecture Notes in Computer Science] Category Theory and Computer Science Volume 1290 || An introduction to n-categories

Moggi, Eugenio, Rosolini, Giuseppe

Year:

1997

Language:

english

File:

PDF, 2.01 MB

english, 1997

19

Custom Automations in Mizar

Marco Bright Caminati, Giuseppe Rosolini

Journal:

Journal of Automated Reasoning

Year:

2013

Language:

english

File:

PDF, 256 KB

english, 2013

20

[Lecture Notes in Computer Science] Category Theory and Computer Science Volume 1290 || Specifying interaction categories

Moggi, Eugenio, Rosolini, Giuseppe

Year:

1997

Language:

english

File:

PDF, 864 KB

english, 1997

21

Quotient Completion for the Foundation of Constructive Mathematics

Maietti, Maria Emilia, Rosolini, Giuseppe

Journal:

Logica Universalis

Year:

2013

Language:

english

File:

PDF, 431 KB

english, 2013

22

Unifying Exact Completions

Maietti, Maria Emilia, Rosolini, Giuseppe

Journal:

Applied Categorical Structures

Year:

2015

Language:

english

File:

PDF, 283 KB

english, 2015

23

Sobriety for equilogical spaces

Bucalo, Anna, Rosolini, Giuseppe

Journal:

Theoretical Computer Science

Year:

2014

Language:

english

File:

PDF, 356 KB

english, 2014

24

[Lecture Notes in Computer Science] Category Theory and Computer Science Volume 1290 || A 2-categorical presentation of term graph rewriting

Moggi, Eugenio, Rosolini, Giuseppe

Year:

1997

Language:

english

File:

PDF, 1.66 MB

english, 1997

25

[Lecture Notes in Computer Science] Category Theory and Computer Science Volume 1290 || General synthetic domain theory — A logical approach (extended abstract)

Moggi, Eugenio, Rosolini, Giuseppe

Year:

1997

Language:

english

File:

PDF, 1.32 MB

english, 1997

26

Foreword

Birkedal, Lars, Rosolini, Giuseppe, Scott, Dana S., van Oosten, Jaap

Journal:

Mathematical Structures in Computer Science

Year:

2002

Language:

english

File:

PDF, 210 KB

english, 2002

27

Colimit completions and the effective topos

Robinson, Edmund, Rosolini, Giuseppe

Journal:

Journal of Symbolic Logic

Year:

1990

Language:

english

File:

PDF, 1.24 MB

english, 1990

28

[Lecture Notes in Computer Science] Category Theory and Computer Science Volume 1290 || Categorical modelling of structural operational rules case studies

Moggi, Eugenio, Rosolini, Giuseppe

Year:

1997

Language:

english

File:

PDF, 1.15 MB

english, 1997

29

[Lecture Notes in Computer Science] Category Theory and Computer Science Volume 1290 || Separating shape from data

Moggi, Eugenio, Rosolini, Giuseppe

Year:

1997

Language:

english

File:

PDF, 124 KB

english, 1997

30

[Lecture Notes in Computer Science] Category Theory and Computer Science Volume 1290 || A factorisation theorem in rewriting theory

Moggi, Eugenio, Rosolini, Giuseppe

Year:

1997

Language:

english

File:

PDF, 1.17 MB

english, 1997

31

[Lecture Notes in Computer Science] Category Theory and Computer Science Volume 1290 || Presheaf models for the π-calculus

Moggi, Eugenio, Rosolini, Giuseppe

Year:

1997

Language:

english

File:

PDF, 1.39 MB

english, 1997

32

[Lecture Notes in Computer Science] Category Theory and Computer Science Volume 1290 || Shedding new light in the world of logical systems

Moggi, Eugenio, Rosolini, Giuseppe

Year:

1997

Language:

english

File:

PDF, 1.37 MB

english, 1997

33

[Lecture Notes in Computer Science] Category Theory and Computer Science Volume 1290 || Combining and representing logical systems

Moggi, Eugenio, Rosolini, Giuseppe

Year:

1997

Language:

english

File:

PDF, 1.31 MB

english, 1997

34

[Lecture Notes in Computer Science] Category Theory and Computer Science Volume 1290 || A deciding algorithm for linear isomorphism of types with complexity O(nlog 2(n)).

Moggi, Eugenio, Rosolini, Giuseppe

Year:

1997

Language:

english

File:

PDF, 738 KB

english, 1997

35

The category of equilogical spaces and the effective topos as homotopical quotients

Rosolini, Giuseppe

Journal:

Journal of Homotopy and Related Structures

Year:

2016

Language:

english

File:

PDF, 430 KB

english, 2016

36

[Lecture Notes in Computer Science] Category Theory and Computer Science Volume 1290 || A calculus for collections and aggregates

Moggi, Eugenio, Rosolini, Giuseppe

Year:

1997

Language:

english

File:

PDF, 1.52 MB

english, 1997

37

[Lecture Notes in Computer Science] Category Theory and Computer Science Volume 1290 || Proof principles for datatypes with iterated recursion

Moggi, Eugenio, Rosolini, Giuseppe

Year:

1997

Language:

english

File:

PDF, 1.40 MB

english, 1997

38

[Lecture Notes in Computer Science] Category Theory and Computer Science Volume 1290 || Effectiveness of the global modulus of continuity on metric spaces

Moggi, Eugenio, Rosolini, Giuseppe

Year:

1997

Language:

english

File:

PDF, 653 KB

english, 1997

39

Elementary doctrines as coalgebras

Emmenegger, Jacopo, Pasquali, Fabio, Rosolini, Giuseppe

Journal:

Journal of Pure and Applied Algebra

Year:

2020

File:

PDF, 418 KB

2020

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски